A theorem on anti-ordered factor-semigroups
نویسندگان
چکیده
منابع مشابه
A Theorem on Anti - Ordered Factor - Semigroups
Let K be an anti-ideal of a semigroup (S,=, =, ·, θ) with apartness. A construction of the anti-congruence Q(K) and the quasi-antiorder θ, generated by K, are presented. Besides, a construction of the anti-order relation Θ on syntactic semigroup S/Q(K), generated by θ, is given in Bishop’s constructive mathematics.
متن کاملOn Regular Anti-congruence in Anti-ordered Semigroups
For an anti-congruence q we say that it is regular anti-congruence on semigroup (S,=, =, ·, α) ordered under anti-order α if there exists an antiorder θ on S/q such that the natural epimorphism is a reverse isotone homomorphism of semigroups. Anti-congruence q is regular if there exists a quasi-antiorder σ on S under α such that q = σ ∪ σ−1. Besides, for regular anti-congruence q on S, a constr...
متن کاملOn fuzzy ordered semigroups
There are two equivalent de nitions of a fuzzy right ideal, fuzzy left ideal, fuzzy bi-ideal or fuzzy quasi-ideal f of an ordered semigroup (or a semigroup) S in the bibliography. The rst one is based on the fuzzy subset f itself, the other on the multiplication of fuzzy sets and the greatest fuzzy subset of S. Investigations in the existing bibliography are based on the rst de nition. The pres...
متن کاملA common fixed point theorem on ordered metric spaces
A common fixed point result for weakly increasing mappings satisfying generalized contractive type of Zhang in ordered metric spaces are derived.
متن کاملOn representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2007
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim0796119c